A hazard analysis method for systematic identification of safety requirements for user interface software in medical devices

© Springer International Publishing AG (outside the US) 2017. Formal methods technologies have the potential to verify the usability and safety of user interface (UI) software design in medical devices, enabling significant reductions in use errors and consequential safety incidents with such devices. This however depends on comprehensive and verifiable safety requirements to leverage these techniques for detecting and preventing flaws in UI software that can induce use errors. This paper presents a hazard analysis method that extends Leveson’s System Theoretic Process Analysis (STPA) with a comprehensive set of causal factor categories, so as to provide developers with clear guidelines for systematic identification of use-related hazards associated with medical devices, their causes embedded in UI software design, and safety requirements for mitigating such hazards. The method is evaluated with a case study on the Gantry-2 radiation therapy system, which demonstrates that (1) as compared to standard STPA, our method allowed us to identify more UI software design issues likely to cause use-related hazards; and (2) the identified UI software design issues facilitated the definition of precise, verifiable safety requirements for UI software, which could be readily formalized in verification tools such as Prototype Verification System (PVS).- U.S. Food and Drug Administration(NORTE-01-0145-FEDER-000016)Sandy Weininger (FDA), Scott Thiel (Navigant Consulting, Inc.), Michelle Jump (Stryker), Stefania Gnesi (ISTI/CNR) and the CHI+MED team (www.chi-med.ac.uk) provided useful feedback and inputs. Paolo Masci’s work is supported by the North Portugal Regional Operational Programme (NORTE 2020) under the PORTUGAL 2020 Partnership Agreement, and by the European Regional Development Fund (ERDF) within Project “NORTE-01-0145-FEDER-000016”.info:eu-repo/semantics/publishedVersio

Ratio of the Isolated Photon Cross Sections at \sqrt{s} = 630 and 1800 GeV

The inclusive cross section for production of isolated photons has been measured in \pbarp collisions at $\sqrt{s} = 630$ GeV with the \D0 detector at the Fermilab Tevatron Collider. The photons span a transverse energy ($E_T$) range from 7-49 GeV and have pseudorapidity $|\eta| < 2.5$. This measurement is combined with to previous \D0 result at $\sqrt{s} = 1800$ GeV to form a ratio of the cross sections. Comparison of next-to-leading order QCD with the measured cross section at 630 GeV and ratio of cross sections show satisfactory agreement in most of the $E_T$ range.Comment: 7 pages. Published in Phys. Rev. Lett. 87, 251805, (2001

Understanding the management of electronic test result notifications in the outpatient setting

<p>Abstract</p> <p>Background</p> <p>Notifying clinicians about abnormal test results through electronic health record (EHR) -based "alert" notifications may not always lead to timely follow-up of patients. We sought to understand barriers, facilitators, and potential interventions for safe and effective management of abnormal test result delivery via electronic alerts.</p> <p>Methods</p> <p>We conducted a qualitative study consisting of six 6-8 member focus groups (N = 44) at two large, geographically dispersed Veterans Affairs facilities. Participants included full-time primary care providers, and personnel representing diagnostic services (radiology, laboratory) and information technology. We asked participants to discuss barriers, facilitators, and suggestions for improving timely management and follow-up of abnormal test result notifications and encouraged them to consider technological issues, as well as broader, human-factor-related aspects of EHR use such as organizational, personnel, and workflow.</p> <p>Results</p> <p>Providers reported receiving a large number of alerts containing information unrelated to abnormal test results, many of which were believed to be unnecessary. Some providers also reported lacking proficiency in use of certain EHR features that would enable them to manage alerts more efficiently. Suggestions for improvement included improving display and tracking processes for critical alerts in the EHR, redesigning clinical workflow, and streamlining policies and procedures related to test result notification.</p> <p>Conclusion</p> <p>Providers perceive several challenges for fail-safe electronic communication and tracking of abnormal test results. A multi-dimensional approach that addresses technology as well as the many non-technological factors we elicited is essential to design interventions to reduce missed test results in EHRs.</p

Development of a context model to prioritize drug safety alerts in CPOE systems

Background: Computerized physician order entry systems (CPOE) can reduce the number of medication errors and adverse drug events (ADEs) in healthcare institutions. Unfortunately, they tend to produce a large number of partly irrelevant alerts, in turn leading to alert overload and causing alert fatigue. The objective of this work is to identify factors that can be used to prioritize and present alerts depending on the 'context' of a clinical situation. Methods: We used a combination of literature searches and expert interviews to identify and validate the possible context factors. The internal validation of the context factors was performed by calculating the inter-rater agreement of two researcher's classification of 33 relevant articles. Results: We developed a context model containing 20 factors. We grouped these context factors into three categories: characteristics of the patient or case (e. g. clinical status of the patient); characteristics of the organizational unit or user (e. g. professional experience of the user); and alert characteristics (e. g. severity of the effect). The internal validation resulted in nearly perfect agreement (Cohen's Kappa value of 0.97). Conclusion: To our knowledge, this is the first structured attempt to develop a comprehensive context model for prioritizing drug safety alerts in CPOE systems. The outcome of this work can be used to develop future tailored drug safety alerting in CPOE systems

Search for single top quark production at D0 using neural networks

We present a search for electroweak production of single top quarks in ~90 pb^-1 of data collected with the DZero detector at the Fermilab Tevatron collider. Using arrays of neural networks to separate signals from backgrounds, we set upper limits on the cross sections of 17 pb for the s-channel process ppbar->tb+X, and 22 pb for the t-channel process ppbar->tqb+X, both at the 95% confidence level

Differential cross section for W boson production as a function of transverse momentum in proton-antiproton collisions at 1.8 TeV

We report a measurement of the differential cross section for W boson production as a function of its transverse momentum in proton-antiproton collisions at sqrt{s} = 1.8 TeV. The data were collected by the D0 experiment at the Fermilab Tevatron Collider during 1994-1995 and correspond to an integrated luminosity of 85 pb^{-1}. The results are in good agreement with quantum chromodynamics over the entire range of transverse momentum.Comment: Accepted by Physics Letters

Measurement of the ratio of differential cross sections for W and Z boson production as a function of transverse momentum in pbar p collisions at sqrt(s)=1.8 TeV

We report on a measurement of the ratio of the differential cross sections for W and Z boson production as a function of transverse momentum in proton-antiproton collisions at sqrt(s) = 1.8 TeV. This measurement uses data recorded by the D0 detector at the Fermilab Tevatron in 1994-1995. It represents the first investigation of a proposal that ratios between W and Z observables can be calculated reliably using perturbative QCD, even when the individual observables are not. Using the ratio of differential cross sections reduces both experimental and theoretical uncertainties, and can therefore provide smaller overall uncertainties in the measured mass and width of the W boson than current methods used at hadron colliders.Comment: 10 pages, 2 figures, to be published in Physics Letters